A Unified Computation Model for Declarative Programming
نویسنده
چکیده
narrowing ABSTRACT NARROWING u∈ Onv (g) & (l=r ⇐ C) << R A & κ = mgu ({g|u,l}) ––––––––––––––––––––––––––––––––––––––– g ⇒κ (C, g[r]u)κ abstract semantics of a goal g ∆(g)= {κ| g ⇒κ* true} (decidable) the abstract semantics approximates the concrete semantics ∀ σ ∈ O(g). ∃ κ ∈ ∆(g). κ ≤ σ unsatisfiability analysis ∆(g)=∅ ⇒ g es unsatisfiable abstract basic narrowing is compositional ∆(g1,g2) = ∆(g1) ⇑ A ∆(g2) Multi-Paradigm Programming Michael Hanus Christian-Albrechts-Universität Kiel Extend functional languages with features for ➀ logic (constraint) programming ➁ object-oriented programming ➂ concurrent programming ➃ distributed programming
منابع مشابه
Semantic Web Modeling and Programming with XDD
XML Declarative Description (XDD) is a unified modeling language with well-defined declarative semantics. It employs XML as its bare syntax and enhances XML expressive power by provision of mechanisms for succinct and uniform expression of Semantic Web contents, rules, conditional relationships, integrity constraints and ontological axioms. Semantic Web applications, offering certain Web servic...
متن کاملEnhancing Usefulness of Declarative Programming Frameworks through Complete Integration
The Gisela framework for declarative programming was developed with the specific aim of providing a tool that would be useful for knowledge representation and reasoning within real-world applications. To achieve this, a complete integration into an object-oriented application development environment was used. The framework and methodology developed provide two alternative application programmin...
متن کاملTowards a Unified Framework for Declarative Structured Communications
We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis of structured communications can elegantly exploit logic-based reasoning techniques. We introduce a declarative interpretation of the language ...
متن کاملDeclarative Parallel Programming for GPUs
The recent rise in the popularity of Graphics Processing Units (GPUs) has been fueled by software frameworks, such as NVIDIA’s Compute Unified Device Architecture (CUDA) and Khronos Group’s OpenCL that make GPUs available for general purpose computing. However, CUDA and OpenCL are still lowlevel approaches that require users to handle details about data layout and movement across levels of memo...
متن کاملDeclarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کامل